| 1. | Formal methods for the design of real - time systems
实时系统设计的规范方法 |
| 2. | In this thesis , schematic summary about formal method is presented
在本文中，我们首先对形式化方法作了一个概要的介绍。 |
| 3. | Meanwhile , formal method ' s principle and major content were also dissertated
同时也阐述了形式化方法的原理及主要内容。 |
| 4. | Are we saying that it is not worth using formal methods in anti - virus technologies
那么，在反病毒技术中使用形式方法毫无意义吗？ |
| 5. | In order to satisfy this requirement , formal method which is based on precise mathematical foundation must been used
为了它到这个目的，必须使用具有严格数学基础的形式化方法。 |
| 6. | This article takes formal method to study refinancing and its ensuing governance strategies of listed companies
本文采用规范研究方法,对我国上市公司再融资及其治理对策进行研究。 |
| 7. | Normalizing a logical database design involves using formal methods to separate the data into multiple , related tables
规范化逻辑数据库设计包括使用正规的方法来将数据分为多个相关的表。 |
| 8. | In proc . workshop on formal methods and security protocols fmsp 99 , trento , italy , 1999 , http : citeseer
而且spv直接对输入的协议进行处理,不需要用户对协议理想化idealizations抽象后处理 |
| 9. | Combining those two parts , the author puts forward a new complete formal method of the semantics of uml state machine
通过上述这两部分的结合，从而提出了一个完整的uml状态机语义形式化的新方法。 |
| 10. | Such formal methods may help us sharpen our logic , but we almost never apply them in the real world
这种正式的方法可能会帮助我们锻炼逻辑思维能力，但是我们基本上决不会将它们应用在实际的工作当中。 |
